Model Checking Infinite State Spaces Javier Esparza Laboratory for Foundations of Computer Science School of Informatics University of Edinburgh

Source URL: www7.in.tum.de

Neural Spiking Dynamics in Asynchronous Digital Circuits Nabil Imam, Kyle Wecker, Jonathan Tse, Robert Karmazin, and Rajit Manohar Computer Systems Laboratory Cornell University Ithaca, NY, U.S.A.

Source URL: vlsi.cornell.edu

RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic

Source URL: www.doc.ic.ac.uk

Automatically Generating Malicious Disks using Symbolic Execution Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar and Dawson Engler Stanford University Computer Systems Laboratory {junfeng,csar,twohey,cristic,engler}@

Source URL: www.doc.ic.ac.uk

Proceedings of the COST G-6 Conference on Digital Audio Effects (DAFX-01), Limerick, Ireland, December 6-8, 2001 MUSICAL MOSAICING Aymeric Zils, François Pachet Sony Computer Science Laboratory, Paris {zils,pachet}@csl

Source URL: www.csl.sony.fr

AUTOMATIC IN-FLIGHT REPAIR OF FPGA COSMIC RAY DAMAGE Sarah THOMPSON, Alan MYCROFT Computer Laboratory, University of Cambridge, William Gates Building, JJ Thomson Avenue, Cambridge, CB3 0FD, UK

Source URL: ti.arc.nasa.gov

Building mosaics from video using MPEG motion vectors Ryan C. Jones, Daniel DeMenthon, David S. Doermann Language and Media Processing Laboratory Institute for Advanced Computer Studies University of Maryland College Par

Source URL: www.cfar.umd.edu

DESIGN AND CLOCKING OF VLSI MULTIPLIERS Mark Ronald Santoro Technical Report No. CSL-TROctober 1989 Computer Systems Laboratory

Source URL: vlsiweb.stanford.edu

The Geometry Engine: A VLSI Geometry System for Graphics by James 11. Clark Computer Systems Laboratory Stanford University

Source URL: graphics.stanford.edu

Mixnets in Electronic Voting Ben Adida Cryptography and Information Security Group MIT Computer Science and Artificial Intelligence Laboratory

Source URL: assets.adida.net

• Electronic voting
• Voting
• Homomorphic encryption
• Electoral fraud
• Vote counting
• Electoral systems
• Politics